fix platformlinux.cpp