Fix old-style process in Main to match new Kiama 1.5.1 version with filename arg