/srcpkgs/nauty/patches/