soprano: update to 2.9.3.