Fix building nofib with HEAD
This bumps the nofib submodule with a change that fixes a benchmark building with HEAD
The upstream MR should be merged first nofib!71 (merged)
This bumps the nofib submodule with a change that fixes a benchmark building with HEAD
The upstream MR should be merged first nofib!71 (merged)