IDE support for pthreads