Add Debian patches