I don't understand what you mean by directive. I expect to find something like ```#[compile-flags(something)]```, but I don't.

I have made some changes and tried using ```make check-stage1-bench```. This time the benchmark was run. I have amended the commit and pushed again, so you can see the changes.