fixed a bug, where .csv request time-stamp exporter would still export a
";" for uniform random sampling