bashrc: update machine aliases