Fix for Windows bat script