Fix travis-ci integration.