Minor cleanup on CMakeLists.txt and PlatformLinux.cpp