Fix travis-ci again