Fix travis-ci install (again)