fix missing npool.h header