Now the build process is repeatable from scratch, even if something goes wrong with the download server. Former-commit-id: 26c0d7dd28
26c0d7dd28