RE: specifing user RTS options to GHCi