Fix up the travis configuration.