More redundant files

I must have forgotten to delete these on the previous check-in