updated travis.yml: modification of the makefile