Fix Bashisms

This is a tiny change which is worth it for portability. Also, now
faster shells such as Dash can be used which can speed up development
time.