Fix travis-ci config.