Switching to kiama 1.5.2.