Fix for issue with pthreads on a linux system