fix Makefile for Travis CI