Otherwise, all processes will write into the same file --> not a good idea.

[[Imported from SVN: r9776]]