fix failed checkout of mupdf 05219d0

We now will checkout the 43bcd8a.