Bei Travis muss man wohl noch extra texlive installieren. Mal sehen, ob es so klappt