Fix compilation issues on pool.h