.bashrc: Change from ~/local/bin to ~/opt/bin in path.