make CC=/home/monniaux/work/Kalray/CompCert/ccomp COPT="-Wall -O3"