#9603: Version bump