Update CMakeLists.txt

Tweak for Travis-CI.