On Thu, Jan 16, 2014 at 05:50:21PM -0500, Greg Hudson via RT wrote:
> Please test the commit at the head of 
> https://github.com/greghudson/krb5/commits/krtimes and make sure it 
> solves your problem.  (I will remove this branch when it is pushed to 
> master.)

It does.  Thanks!

Nalin