make .bat files executable