Use core branch of spoofax-benchmark.