WIP maybe fix weird wrong CI issue

Author: hannes-steffenhagen-diffblue

.travis.yml

@@ -344,7 +344,7 @@ install:
   - ccache --max-size=1G
   - make -C jbmc/src setup-submodules
   - make -C src minisat2-download
-  - make -C src/ansi-c library_check
+  - make CC=gcc-5 -C src/ansi-c library_check
   - make -C src/cpp library_check
   - make -C src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3
   - make -C jbmc/src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3