add stdbool header