This file is specifically ignored by our .gitignore.  Brian added this
ignore on 2013-06-06 but neglected to remove the file.  I've now
bulid-tested without the file to be sure that it is indeed generated
correctly and so can be removed safely.