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