Add missing phtread header