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>