apparently Travis needs even more texlive things...