slightly cleaner CMake