Fix threadpool

Hey,

The threadpool is currently broken in debugging mode due to an extra tic (./configure --enable-threadpool-debugging --enable-task-debugging). I fixed it in this branch but can you check that I am using the correct tic? Thanks!