<matitaprover.{byte,native}>: use_str, use_unix
