Fixing krb workstation dependency
Merge pull request #1955 from kraman/master

Fixing krb workstation dependency