Added insert6 and -rts-opts --with-rtsopts=-N