Encoding RTS options for make test target