use ujson module if available for JSON encode/decode operations