fixing up travis ci config