-- remove extra build options (not necessary anymore)
  -- fix in reporting
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>