Correct setting of HAVE_PTHREAD in config.h