Fix travis-ci