fix for smt-eval run script