diff --git a/lib/sasacore/seed.ml b/lib/sasacore/seed.ml
index e3857114a3ea1a928fc979adc90156b2bfb61458..e99d63cf2f572708b32eb2deba25cfc4064e176d 100644
--- a/lib/sasacore/seed.ml
+++ b/lib/sasacore/seed.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 21/05/2021 (at 17:18) by Erwan Jahier> *)
+(* Time-stamp: <modified the 27/07/2021 (at 09:20) by Erwan Jahier> *)
 
 let seed = ref None
 let replay_seed = ref false      
@@ -32,6 +32,7 @@ let reset () = seed := None
 
 let rec (get : string -> int) = 
   fun label ->
+  let label = Filename.basename label in
   match !seed with
   | Some i -> i
   | None ->
diff --git a/lib/sasacore/simuState.ml b/lib/sasacore/simuState.ml
index 18e77b9fe605d79b9f150a0cb03176f37390fd07..befccd01b0d3449c9df197fea23db1b182bb934d 100644
--- a/lib/sasacore/simuState.ml
+++ b/lib/sasacore/simuState.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 23/07/2021 (at 11:19) by Erwan Jahier> *)
+(* Time-stamp: <modified the 27/07/2021 (at 09:19) by Erwan Jahier> *)
 
 open Register
 
@@ -207,6 +207,7 @@ let (make : bool -> string array -> 'v t) =
     let cmxs = (Filename.chop_extension dot_file) ^ ".cmxs" in
     if args.gen_register then (
       let base = Filename.chop_extension dot_file in
+      let base = Filename.basename base in
       let base = Str.global_replace (Str.regexp "\\.") "" base in
       let ml_register_file = base ^ ".ml" in
       let ml_state_file = "state.ml" in