Acontece que o PATH estava sendo mantido pelo gerenciador de exibição carregando ~/.profile (e /etc/profile e /etc/environment ) ao criar uma sessão de desktop. Isso significa que as alterações nesses arquivos não serão refletidas nas novas sessões de bash e exigirão que você efetue o logout para entrar em vigor.