revert MirBSD patch in order to be able to build PDF docs