- put sat_xfopen in libsatsolverext