Main.cc:2:10: fatal error: gmpxx.h: No such file or directory #include ^~~~~~~~~ compilation terminated.