Adapt Debian patches to GIT changes.