Update CMake to test basement files correctly