Fixes #771 by manually defining _Bool
automatic documentation update