Don't patch json11, use better version