fix for posix Configuration/Platform.cpp