[testpackages,ObjectiveCTest1,dev] Fixing platform compatibility with Gcc