oops, revert part of the +RTS -V0 patch which was accidentally included