Use dxlink-aware JSON encoder