added tux alias from bash_alias