Split posix vapi into one vapi file for the basic types and one vapi file for the libc functions
Use the --profile posix argument