Fix krb5 configure script