Clearly we don't want to hard-code this into CMakeLists.txt in the main repo.