Remove some out-of-date files