Fix broken travis-ci configuration.