Externalize krb5-config path to a variable