ghc: benchmark from cfeededff5662a6e2dc0104eb00adcca4d4ae984 on

which introduced the V=4 settings.