bugfix for Win32 mode, have to use vector_t<Vec3fa> instead of std::vector<Vec3fa>