SERVER-15517: use slashes rather than double quotes for escaping in shell launcher