use the right texlive package (bnc#854509)