added missing headers and commented out something that was making frama-c not work