Dumb down the travis config