Nauty filenames cleaned up.