diff --git a/src/soc2c.ml b/src/soc2c.ml
index 706ea65514056eb1b8b5704426dedfa2c52d48fc..03cf9c4056c6c7cdd3b1c2b4084f795cbcc16235 100644
--- a/src/soc2c.ml
+++ b/src/soc2c.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 24/03/2015 (at 09:41) by Erwan Jahier> *)
+(* Time-stamp: <modified the 24/03/2015 (at 10:05) by Erwan Jahier> *)
 
 
 (* let put (os: out_channel) (fmt:('a, unit, string, unit) format4) : 'a = *)
@@ -413,6 +413,7 @@ int main(){" ^ (
 "
         );
     );
+    Printf.printf "%s has been generated.\n" mainfile; flush stdout;
     close_out oc
 
 
@@ -720,7 +721,7 @@ typedef float _float;
       else 
         Printf.sprintf "%s -o %s %s %s"  gcc execfile cfile main_file
     in
-    let main_step = base^"_"^args.Lv6MainArgs.main_node^"_step" in
+    let main_step = (string_of_soc_key msoc)^"_step" in
     let gcc = if args.Lv6MainArgs.gen_wcet then
         (gcc ^ " > owcet.out; owcet.arm "^execfile^ " --add-prop otawa::ilp::OUTPUT_PATH="^
            main_step^".0.lp "^main_step^" 2>&1 | grep WCET")