use improved kiama version