add new C++ header files (cinttypes, cstdbool)