Minor fixes to Linux CMakelist.txt