I see why I couldn't reproduce: I neglected to add jsonpath_gram.h tothe backend's maintainer-clean so it failed to be deleted. Working onthe fix now.
-- John NaylorEDB: http://www.enterprisedb.com