bashrc: re-alias gl