Use stdint and stdbool on all platforms