Remove *.ps files (useless now).