backport fix to json4s so we don't need to rely on snapshot