Fix compilation error in run.sh.