Get rid of no-longer-used rtgrep files