using "delete" causes warning for "free" (#653) · Issues · pub / frama-c