BurntSushi tidy: remove unused file
Latest commit b8473ee Jan 15, 2019