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