Don't use the Makefile for Travis CI