fix up travis file