fix up travis config