Fix travis-ci config...