Create posix_types.h