/contrib/libgmp/config/