ssh: spec: use random file names