Adapt to satsolver helix stuff being moved to libsatsolverext.