Fix travis-CI