Merged debian's debian/patches