Ask for CMake 2.8.12 to be used with Travis CI.