jsonfilter: update to latest git HEAD