Attempting to fix CMake on Travis-ci...