Is AC_CHECK_HEADER_STDBOOL is correct?