error: patch failed: include/intprops.h:408
error: include/intprops.h: patch does not apply