Minor fix to run pthreads on Windows

Tested with Pthreads-win32