The use of the section ‘compiler’ in the travis-ci configure file does not work with CMake (Clang is used every time). Let’s try another way to use GCC with CMake.