fixed bug [1323202] Configure script doesnt correctly handle "--with-krb5"