add .DefaultEncoding property to IPickleFormat