error: patch failed: stdlib/gmp.h:34
error: stdlib/gmp.h: patch does not apply