Fix Travis CI again