It seems that debbugs doesn't like patches sent by git-send-email, so I
am attaching the patch created by git format-patch -1