Update (again) to JSAV version 0.7.0-252