php: compressed patch are supported