Use tagged version of kiama