No POD found for gmp_main.h. Time to read the source?