fix gcc bug in VectorSet.h