Fix travis-CI integration