rename_python_script_to_drop_extension.patch
