Adding option `-u` to frama-c-script led to an "unbound variable" error when
running `frama-c-script flamegraph`.