Comment 4 for bug 1347147

However, the problem seems to go away after locally recompiling krb5 1.12.1+dfsg-3ubuntu1 with gcc-4.9 4.9.1-3ubuntu2.

(This could still indicate any number of things, though.)