Fix travis-ci again...