make +RTS -G1 work again