0_0_25547254_4694.cpp:12:17: fatal error: gmp.h: No such file or directory #include <gmp.h> ^ compilation terminated.