Test fix in scripts/tools/pthread.py