issue #3781: Fix the variable name.
issue #3781, Add windows bat script.