multi-machine: fix failure with /bin/sh as dash

The script itself doesn't need bash, but it seems our setup scripts don't like
it much at this time.

Signed-off-by: Christopher Larson <chris_larson@mentor.com>
Merge pull request #357 from kergoth/multi-machine-dash-fix

multi-machine: fix failure with /bin/sh as dash