Include <stdlib/gmp.h> instead of <gmp.h>.