c_platform: add GCC headers