Tweak CMake for Travis