RE: RTS options in binaries