Fix threaded build broken by 823ac2c80