Merge pull request #13 from michael-o/krb5-config-variable

Externalize krb5-config path to a variable
latest commit 0b0a5c1936
@lha authored