Remove some old CMake leftovers