add DEP3 headers to debian/patches/mrDlib.patch