Xcvmem incompatibilities with the GCC tests

[PaoloS02]

Just opening this issue to keep track of the test incompatibilities in the closed PR #89
Once it's confirmed they are all solved I'll close this issue.