Now the build process is repeatable from scratch, even if something goes wrong with the download server.