SOLVED (I THINK)     Using Linux I was unable to download the MIOS32 Toolchain using the sudo wget command.  ( I still can't !)   However I downloaded the gcc-arm-none-eabi /etc / tar.bz2 file by clicking on the linux version on the midibox.org link.  Using Archive manager in Linux Mint I uncompressed the file.  Then I transferred to file to usr/local/ mios32_toolchain.  I added the latter directory.  This did not work either.  Then I realised that the path to the appropriate bin file was i