r13718: There is even no need to use AC_MSG_WARN in the case the user did not