I'm not sure this file should be added to the repository either.