dev/builds: get rid of support for Krb4, which no longer exists