let mosaik =   let url =     "https://mosaik-aligner.googlecode.com/files/MOSAIK-2.2.3-source.tar" in   Installable_tool.make Machine.Tool.Default.mosaik ~url     ~unarchived_directory:"MOSAIK*"     ~init_program:(fun ~path ->         KEDSL.Program.(           shf "export PATH=%s:$PATH" path           && shf "export MOSAIK_PE_ANN=%s/pe.ann" path           && shf "export MOSAIK_SE_ANN=%s/se.ann" path         ))     ~witness:(witness_file "MosaikAligner")     ~install_program:KEDSL.Program.(fun ~path ->         sh "make"         && shf "cp networkFile/*pe.ann %s/pe.ann" path         && shf "cp networkFile/*se.ann %s/se.ann" path         && shf "cp bin/* %s" path       )