fix makefile for TravisCI