Fixed configure to look in appropriate location for krb4 header files