Remove some files that should have been deleted in earlier commits

Summary: Our script wasn't picking up removed files.