Use more portable shell quoting. [#87]