Remove the files produced by the editor