Protect directory names in "play" script with quotes. Fixes #1858.
Protect directory names with quotes in all other shell scripts as well.
Merge pull request #1859 from pkrcah/fix-1858

Protect directory names in "play" script with quotes. Fixes #1858.