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:

C:\Users\user\xod_packages_\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\bin

so it appears that xod is not constructing the path properly