Delete rand-perm.tex