let run_download_program t : Make_fun.t =   Make_fun.with_requirements t.run_program (Make_fun.downloading [])