Some minor Linux-related fixes to some of our CMake files.