explicit travis config because there is a Makefile