Update winpthreads.sh