I see.  Sounds like krb5 code calling profile_get_boolean() needs to
cast the boolean arg to (int *) in several places.

-- 
Will Fiveash
Oracle Solaris Software Engineer