Cannot turn on debug flag for plugin

It seems like there's an issue with the debug flag handling, I can't turn on the debug flag coma_no_trivial which comes from the coma plugin (distributed with why3 on branch mome). I suspect that the parsing is done before loading the configs?