more travis fixes :(