Modify Makefile to make it work on Travis