do not use mupdf

We didn't use it before anyway, since we used functionality working
on bitmaps, rather than PDF files. So do not use (and link - again!)
MuPDF here.