Fix a problem with the `AX_PTHREAD` autoconf macro.