let is_interactive = function
  | "coqide" -> true
  | _ -> false