Remove stub

Suggested by mpi@
Use directly pool_put instead of an helper.

Suggested by mpi@