Edit Platform.h to enable compilation with MS Visual Studio 2012.