c_platform: add POSIX 2001 headers