Re: RTS options in binaries