2013.08.16本地版本库出现问题 进行了补救：把github的下载下来，再用本地最新文件覆盖掉