Export krb5_get_profile. Remove comment saying it should be added and just do it. Commit By: jaltman Revision: 19818 Changed Files: U trunk/src/lib/krb5_32.def