merge latest MuPDF update (fixes issue 1439)