-- fix cmake file for missing header in --noS1 option Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>