Você está realmente usando bash ?
echo $0
deve lhe dizer isso. Experimente também export ing $PATH ( export PATH após PATH=… ). Para ter certeza de que seu ~/.bash_profile é realmente lido em seu shell, você poderia inserir algo como
echo "now sourcing ~/.bash_profile"
em algum lugar.
Nota: ~/.bash_profile é lido apenas se o bash for iniciado como shell login . Se você estiver tentando de um xterm , talvez não seja lido, pois a maioria dos emuladores de terminal está configurada para não agir como shell de login. Neste caso, edite ~/.bashrc .