remove some duplicate files

somewhere along the line some filenames got lowercased, it appears. we
need to fix this or the repo can't be cloned to a case
insensitive-filesystem, e.g. a Mac