Installing header files for benchmarks