Re: frama-c can't start up on simple example