Call cmd.exe explicitly when running batch files to easily manage special characters that may be within the path. Fixes #8535
Call cmd.exe explicitly when running batch files to easily manage special characters that may be within the path. Fixes #8535