[archimedes]: Added a work-around for a Python bug in ThreadPool (only present in some versions)