Fix vimitator_sexp script's output.