Add extern C to val_gmp header