On Windows rts/T8124 is failing thus:

T8124_c.c:4:21:  fatal error: pthread.h: No such file or directory

compilation terminated.

*** unexpected failure for T8124(threaded1)

Simon