<html><body><div>So the path saved in my .bashrc is wrong.</div><div>What would be the correct one?</div></body></html>