Adding '-extension RANDR'