make CONF=KalrayCompCert build/testcrypto $@ # build/testspeed