make CONF=KalrayCompCert build/testcrypto # build/testspeed