Concerning #308: made tools.structure pickleable