profile.h installed in 1.2, and krb5.h on trunk no longer includes
profile.h.