Another attempt to fix up travis config