fix-32bit-pointer-support.patch
