fix failed checkout of mupdf 05219d0