defining type stringVector in snapshot.h to be able to use it there too