We should include this file in the repository.  They shouldn't have to go download the file.