Add cilk to the HSBencher config