Travis CI: reconfigure correctly the Makefile config file and the travis config file too