As I merged from an earlier commit, I had the files which were removed
in commit 2924617ec1c8d536689a9014d4cd55b19db7a879 by laurenrother