Fixing krb workstation dependency