trying to fix obscure CMakeLists bug