Removing php5-json as default package