Try using 'gmp.h' from 'C_INCLUDE_PATH'