patch_match: Forgot missing header