Remove now-unnecessary debian-specific patch.