remove some more forgotten stdbool.h