OS dependent tmp folder naming [#80]