Clean some old files that we no longer generate