fix generation of random file names