0001-Avoid-installing-benchmarks.patch