let pickle formats specify default encodings