python lib: decode the sorted values before unpickling them.