Symbol: _GMP_H_HAVE_FILE