krb5_boolean is a public type.  profile_get_boolean() is a public API.  
While it might be nice if they agreed, changing public APIs and types can 
break existing code.