The export lists for krb4_32.def and krb5_32.def must be updated to
properly build the 1.3.2 release.