updated the kiama dependency