/srcpkgs/nauty/