Default to ARM GCC tools in the system path