vector benchmark: fixed incompatibility with old boost version