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")