The jessie use-flag was renamed to the frama-c.

This was done because this flag influences only to the
installation of the jessie-plugin for the frama-c.