Added support for ubuntu gmp.h