patch/patch_state.h is a generated file.