update randomization once more

It turns out that using the output of base64 for filenames is not a
too good idea.