deleted:    bin/gen_ci_config
	deleted:    include/benchmark.h
	deleted:    include/clipp.h
	deleted:    include/exception.h
	deleted:    include/mt.h
	deleted:    include/plot.h
	deleted:    include/util.h
	deleted:    util/build_detector.sh
	deleted:    util/collect_benchmarks.py
	deleted:    util/collect_tests.py
	deleted:    util/compile_analyses.py
	deleted:    util/parse_cmd.sh
	deleted:    util/print_env.sh
	deleted:    util/run_many.py