Use released json3 (v3.3.1)