port/thread.c includes the pthreads header files, and contains a bunchof comments about pthreads - but there seems to be no code related topthreads at all in the file. Am I missing something completely here? ;-)
//Magnus