Fixed a minor issue with windows bat scripts