The official party line is that krb4 is no longer be modified
but I committed this fix and it will appear in KFW 3.1 Beta 2