Disable frama-c