updated to the latest Kiama version to fix a bug