.bashrc: add alias