Resolution if you get a build error "eabi-gcc: No such file or directory"