Texlive packages and git alias