Broken dependencies: frama-c