Fix mike run.sh