sysroot-destdir/usr/include/gmp.h
