travis/makefile tweak