let stringtie =   Installable_tool.make     Machine.Tool.Default.stringtie     ~url:"https://github.com/gpertea/stringtie/archive/v1.2.2.tar.gz"     ~install_program:(make_and_copy_bin "stringtie")     ~init_program:add_to_dollar_path     ~witness:(witness_file "stringtie")