Não está relacionado a um erro $PATH , em 13.10 você precisa instalar o pacote 13.04 ia32-libs .
Você pode baixar o pacote ia32-libs do repositório de raring .
Faça o download de um espelho e instale-o manualmente, então você deve executar o executável arm-none-linux-gnueabi-gcc .
sudo dpkg -i ./ia32-libs_20090808ubuntu36_amd64.deb