put Debian patch back in place