[PATCH 1/2] msvcp120: Fix concurrent_vector_int_dtor helper