Fix travis-ci setup