Fixes problems with krb5 not being detected and not showing in status of configure run