[krbdev.mit.edu #8502] ret_boolean in profile_get_boolean() should be krb5_boolean * instead of int *

[Greg Hudson via RT]

I would say the calling code is at fault here.  At least notionally, the 
profile library is a dependency of libkrb5 and not the other way around, so 
profile functions should not use krb5 types.