Fixing support for whitespaces in batch shell commands