let varscan =   let url =     "http://downloads.sourceforge.net/project/varscan/VarScan.v2.3.5.jar" in   let jar = "VarScan.v2.3.5.jar" in   let witness = witness_file jar in   let init_program ~path =     KEDSL.Program.(shf "export VARSCAN_JAR=%s/%s" path jar) in   Installable_tool.make Machine.Tool.Default.varscan ~url ~init_program ~witness