slightly change travis config