Fix that bloody texlive submodule