tweak encoding formats and version bump