bashrc adjustments: alias