automate downloading missing source files

[00:00:00] (100%): █████ | Source verification failed
Error: Source missing: /scr/prokop/butido/sources/mpfr-4.1.1/src.source

Why not download the source on the fly then go on with the build?