+RTS -N also sets +RTS -g