add option -wp-no-bits
see https://bts.frama-c.com/view.php?id=1751