* Make our CMake slightly less insane
This commit fails the CircleCI tests on purpose, so that we know that the check works.