Remove some files that haven't ever been used or needed.
(#372b)