Fix bad Makefile/CMakeLists.txt