instructions for run.sh, skip workarounds by default

Change-Id: I284130c6ed68621627996e52d9a173346d17456f