Add pthread header files