#40: Windows batch script fixed