in ${DESTDIR}/usr/include/krb5/osconf.h) and if so, tell the operator to remove the contents of that directory in an error message and abort.