Windows line-ending in .bat files