fixed bug of thread pool in linux platform