It's not needed anymore, as no pools are used between threads. This also fixes a small potential integer overflow. Patch attached.