modification des scripts de GenTest et compile_test.sh et compile_bench.sh pour compiler et utiliser les executables au bon endroit