Fix Vec3D pool size reporting in crash reports.