c_platform: add everything for GCC 4.8 headers