Fix CMakeLists.txt and .travis.yml.