Fixing run-script for smt-comp