Added Debian patches