Make the fetch of the gcc-arm binaries a little more portable across Linux+Mac
Fix commen typo