Your timing is dreadful.:-) I just uploaded a new krb5-config and am not 100% sure I'll have time to get in another one for stretch before the freeze. I considered dropping the kdc lines and depending on SRV records for cs.cmu.edu, but decided that you were picky enough that you would have sent in an update request if you wanted one:-(
I'll see what I can do. I need to wait for 2.5 to get into testing before uploading a 2.6 because 2.5 is really needed.
