Debian packaging - patches