Changed php5-json module verion