more travis fixes (maybe even works this time?)