Should this ticket also include the change to src/kdc/kdc_util.c or 
should I open a new ticket for that change?