dev/builds: Added support for Krb5