Benchmark's compile script was providing incorrect path for kernel