References to, includes from, and redirects to Difference between exec xyz.bat and exec cmd.exe /c xyz.bat on MS Windows