Minor changes to mempool.c - add #ifdef for debug