Add krb5-1.12 to buildbot config