#5615: make it possible to configure --without-threads again.
3 files changed