travis: another fix for makefile