#6 pthreads don't work reliably

[Confidential]

In version 1.5, optional pthread support was added to NSAT.
instead of forking childs. This doesn't work reliably,
possibly
because of race conditions or general misimplementation.
Fix and investigate...