How to configure GCC "Thread model"? in our port it is currently "single", however we would like for it to be "posix"