Fix Dactylo version.