edits to nauty install script