Typo in krb5 configure script