Revert "Fix krb5 reference"
This reverts commit 9f0da5315b4595c45ace01727808e2ae8750efc0.
Eelco Dolstra 10 years ago 832aeb66 93bd7f95