don't build krb5_425_conv_principal_ext if there is no v4 support