python_nodefs.patch
