#6101: Remove files we no longer need.