Another Travis config change.