more travis fixes