temporary fix for boost::pool_alloc