fixed up travis config