Github didn't sync file case name changes properly

GitHub ignored the case changes to the filenames (when renaming to meet
program guidelines) This commit is to delete the files