Ho risolto per chi interessasse. L'ultimo file che la bash legge è ~/.profile, ed è li che il PATH veniva ridefinito. E' bastato che aggiungessi quello che mi serviva e ho risolto.