Update travis config and makefile after file rename