(threads) Don't make gx_pthread.h dependent on separate header
file