Get rid of ExternalCodec in FileDataspace