bashrc: removed old/unused aliases