diff --git a/src/stage0/Init/Data/Array/Basic.c b/src/stage0/Init/Data/Array/Basic.c
index aadd0b996e..3f024ae671 100644
--- a/src/stage0/Init/Data/Array/Basic.c
+++ b/src/stage0/Init/Data/Array/Basic.c
@@ -868,7 +868,7 @@ lean_object* _init_l___private_Init_Data_Array_Basic_1__swapAtPanic_x21___rarg__
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/Array/Basic.lean");
+x_1 = lean_mk_string("Init.Data.Array.Basic");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Data/HashMap/Basic.c b/src/stage0/Init/Data/HashMap/Basic.c
index d3f4129810..4e558537a8 100644
--- a/src/stage0/Init/Data/HashMap/Basic.c
+++ b/src/stage0/Init/Data/HashMap/Basic.c
@@ -1283,7 +1283,7 @@ lean_object* _init_l_HashMap_find_x21___rarg___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/HashMap/Basic.lean");
+x_1 = lean_mk_string("Init.Data.HashMap.Basic");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Data/List/BasicAux.c b/src/stage0/Init/Data/List/BasicAux.c
index c0b5f86587..09ced1db9a 100644
--- a/src/stage0/Init/Data/List/BasicAux.c
+++ b/src/stage0/Init/Data/List/BasicAux.c
@@ -80,7 +80,7 @@ lean_object* _init_l_List_get_x21___main___rarg___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/List/BasicAux.lean");
+x_1 = lean_mk_string("Init.Data.List.BasicAux");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Data/Option/BasicAux.c b/src/stage0/Init/Data/Option/BasicAux.c
index 2f9cee95cb..9b965df337 100644
--- a/src/stage0/Init/Data/Option/BasicAux.c
+++ b/src/stage0/Init/Data/Option/BasicAux.c
@@ -23,7 +23,7 @@ lean_object* _init_l_Option_get_x21___rarg___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/Option/BasicAux.lean");
+x_1 = lean_mk_string("Init.Data.Option.BasicAux");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Data/PersistentHashMap/Basic.c b/src/stage0/Init/Data/PersistentHashMap/Basic.c
index 98248bd6cf..bce3072747 100644
--- a/src/stage0/Init/Data/PersistentHashMap/Basic.c
+++ b/src/stage0/Init/Data/PersistentHashMap/Basic.c
@@ -1470,7 +1470,7 @@ lean_object* _init_l_PersistentHashMap_find_x21___rarg___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/PersistentHashMap/Basic.lean");
+x_1 = lean_mk_string("Init.Data.PersistentHashMap.Basic");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Data/RBMap/BasicAux.c b/src/stage0/Init/Data/RBMap/BasicAux.c
index e7819e7ae9..a9e7def43c 100644
--- a/src/stage0/Init/Data/RBMap/BasicAux.c
+++ b/src/stage0/Init/Data/RBMap/BasicAux.c
@@ -80,7 +80,7 @@ lean_object* _init_l_RBMap_min_x21___rarg___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Data/RBMap/BasicAux.lean");
+x_1 = lean_mk_string("Init.Data.RBMap.BasicAux");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Lean/Compiler/IR/UnreachBranches.c b/src/stage0/Init/Lean/Compiler/IR/UnreachBranches.c
index 7428ff1d6d..1d01796309 100644
--- a/src/stage0/Init/Lean/Compiler/IR/UnreachBranches.c
+++ b/src/stage0/Init/Lean/Compiler/IR/UnreachBranches.c
@@ -706,7 +706,7 @@ lean_object* _init_l_Lean_IR_UnreachableBranches_Value_addChoice___main___closed
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/Compiler/IR/UnreachBranches.lean");
+x_1 = lean_mk_string("Init.Lean.Compiler.IR.UnreachBranches");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Lean/Expr.c b/src/stage0/Init/Lean/Expr.c
index dfff4c72c5..d853174c82 100644
--- a/src/stage0/Init/Lean/Expr.c
+++ b/src/stage0/Init/Lean/Expr.c
@@ -1219,7 +1219,7 @@ lean_object* _init_l_Lean_Expr_constName___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/Expr.lean");
+x_1 = lean_mk_string("Init.Lean.Expr");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Lean/SMap.c b/src/stage0/Init/Lean/SMap.c
index 689f8669fd..e3574e1a0d 100644
--- a/src/stage0/Init/Lean/SMap.c
+++ b/src/stage0/Init/Lean/SMap.c
@@ -343,7 +343,7 @@ lean_object* _init_l_Lean_SMap_find_x21___rarg___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/SMap.lean");
+x_1 = lean_mk_string("Init.Lean.SMap");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Lean/TypeClass/Context.c b/src/stage0/Init/Lean/TypeClass/Context.c
index 41a677c83d..982d2e79a7 100644
--- a/src/stage0/Init/Lean/TypeClass/Context.c
+++ b/src/stage0/Init/Lean/TypeClass/Context.c
@@ -730,7 +730,7 @@ lean_object* _init_l_Lean_TypeClass_Context_eInfer___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/TypeClass/Context.lean");
+x_1 = lean_mk_string("Init.Lean.TypeClass.Context");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/Lean/TypeClass/Synth.c b/src/stage0/Init/Lean/TypeClass/Synth.c
index 2e30632efd..932a73ca9c 100644
--- a/src/stage0/Init/Lean/TypeClass/Synth.c
+++ b/src/stage0/Init/Lean/TypeClass/Synth.c
@@ -5948,7 +5948,7 @@ lean_object* _init_l_Lean_TypeClass_collectEReplacements___main___closed__1() {
 _start:
 {
 lean_object* x_1; 
-x_1 = lean_mk_string("/home/leonardo/projects/lean4/library/Init/Lean/TypeClass/Synth.lean");
+x_1 = lean_mk_string("Init.Lean.TypeClass.Synth");
 return x_1;
 }
 }
diff --git a/src/stage0/Init/System/FilePath.c b/src/stage0/Init/System/FilePath.c
index 88359655dc..730b502723 100644
--- a/src/stage0/Init/System/FilePath.c
+++ b/src/stage0/Init/System/FilePath.c
@@ -41,6 +41,7 @@ uint32_t l_System_FilePath_pathSeparator;
 lean_object* lean_string_utf8_next(lean_object*, lean_object*);
 lean_object* lean_string_utf8_extract(lean_object*, lean_object*, lean_object*);
 lean_object* l_System_FilePath_pathSeparators___closed__1___boxed__const__1;
+uint32_t l_Char_toLower(uint32_t);
 uint8_t l_System_FilePath_normalizePath___closed__2;
 lean_object* l_System_FilePath_normalizePath___closed__1;
 uint8_t l_List_foldr___main___at_System_FilePath_normalizePath___spec__1(uint32_t, uint8_t, lean_object*);
@@ -249,23 +250,39 @@ x_6 = l_System_FilePath_pathSeparators;
 x_7 = l_List_foldr___main___at_System_FilePath_normalizePath___spec__1(x_4, x_5, x_6);
 if (x_7 == 0)
 {
-lean_object* x_8; lean_object* x_9; 
-x_8 = lean_string_utf8_set(x_2, x_1, x_4);
-x_9 = lean_string_utf8_next(x_8, x_1);
+uint8_t x_8; 
+x_8 = l_System_Platform_isWindows;
+if (x_8 == 0)
+{
+lean_object* x_9; lean_object* x_10; 
+x_9 = lean_string_utf8_set(x_2, x_1, x_4);
+x_10 = lean_string_utf8_next(x_9, x_1);
 lean_dec(x_1);
-x_1 = x_9;
-x_2 = x_8;
+x_1 = x_10;
+x_2 = x_9;
 goto _start;
 }
 else
 {
-uint32_t x_11; lean_object* x_12; lean_object* x_13; 
-x_11 = l_System_FilePath_pathSeparator;
-x_12 = lean_string_utf8_set(x_2, x_1, x_11);
-x_13 = lean_string_utf8_next(x_12, x_1);
+uint32_t x_12; lean_object* x_13; lean_object* x_14; 
+x_12 = l_Char_toLower(x_4);
+x_13 = lean_string_utf8_set(x_2, x_1, x_12);
+x_14 = lean_string_utf8_next(x_13, x_1);
 lean_dec(x_1);
-x_1 = x_13;
-x_2 = x_12;
+x_1 = x_14;
+x_2 = x_13;
+goto _start;
+}
+}
+else
+{
+uint32_t x_16; lean_object* x_17; lean_object* x_18; 
+x_16 = l_System_FilePath_pathSeparator;
+x_17 = lean_string_utf8_set(x_2, x_1, x_16);
+x_18 = lean_string_utf8_next(x_17, x_1);
+lean_dec(x_1);
+x_1 = x_18;
+x_2 = x_17;
 goto _start;
 }
 }