Arduino Due support not properly installed

After selecting the Arduino Due as a target, attepting to compile a patch fails with the message:

Error during build: exec: “/bin/arm-none-eabi-g++”: file does not exist

The file is actually present on the path:


so it appears that xod is not constructing the path properly