fixing up travis configuration