Fix travis-ci integration