krb5: fix build via update