FIX: don't exit on non-empty stderr

dump.py

@@ -20,8 +20,8 @@ def exec_command_into_file(command: list[str], file: Optional[str], env: dict[st
         with open(file, 'w') as f:
             f.write(stdout.decode('utf-8'))
     if len(err.decode('utf-8')) > 0:
+        print(f'Warning: Captured non-empty STDERR while executing {command}')
         print(err.decode('utf-8'), file=sys.stderr)
-        sys.exit(1)
 
 def dump_data(main_version, obj, f_name, sort_key='name'):
 	d = None