Avoid bashism
Merge pull request #534 from asgh/master

Avoid bashism