Avoid including <pthread.h>, include <config.h> instead.