Fix +RTS -G1 (by deleting code, yay!) (#5026)