src/marker-set-factory.cc: remove unneeded stringstream