Use Debian's distfile and patch.