fixing up travis script...