Fix travis-ci...