Write linux specific code platform_linux.cpp