Bug fix: allow uppercase log filename in download_data.py

run/shared/download_data.py

@@ -722,14 +722,16 @@ def parse_args():
 
     # Parse command-line arguments (argument 0 is the program name)
     for i in range(1, len(sys.argv)):
-        arg = sys.argv[i].lower()
-        arg = arg.lstrip('-')
+        arg = sys.argv[i]
 
         if not dryrun_found:
             dryrun_log = arg
             dryrun_found = True
             continue
 
+        # Normalize arguments other than dryrun_log
+        arg = arg.lower().lstrip('-')
+
         if not mirror_found:
             for mir in mirror_list:
                 mirror = mir.lower()