Use released json3 version