Support EVB in run_dejagnu and import_results.