let virmid =   let url =     "http://downloads.sourceforge.net/project/virmid/virmid-1.1.1.tar.gz" in   let jar = "Virmid-1.1.1" // "Virmid.jar" in   let init_program ~path =     KEDSL.Program.(shf "export VIRMID_JAR=%s/%s" path jar) in   Installable_tool.make Machine.Tool.Default.virmid ~url ~init_program     ~unarchived_directory:"."     ~witness:(witness_file jar)