I just tried to rebuild fetchmail 6.2.5 with krb5-1.3.1 and found out that krb5_des_string_to_key is gone, which makes the fetchmail build fail (--with-kerberos5=bla). Is krb5int_des_string_to_key the new way to go?