libgcj/gmp/config
