use the latest json4s