File _service:obs_scm:nauty-fix-gt_numorbits.patch of Package nauty