Update Platform_linux.cpp