diff --git a/src/library/compiler/CMakeLists.txt b/src/library/compiler/CMakeLists.txt
index 60d713200e..7cb0ce7e14 100644
--- a/src/library/compiler/CMakeLists.txt
+++ b/src/library/compiler/CMakeLists.txt
@@ -1,4 +1,4 @@
-add_library(compiler OBJECT util.cpp eta_expansion.cpp preprocess.cpp
+add_library(compiler OBJECT old_util.cpp eta_expansion.cpp preprocess.cpp
   compiler_step_visitor.cpp elim_recursors.cpp comp_irrelevant.cpp
   inliner.cpp erase_irrelevant.cpp reduce_arity.cpp
   lambda_lifting.cpp simp_inductive.cpp nat_value.cpp
diff --git a/src/library/compiler/comp_irrelevant.cpp b/src/library/compiler/comp_irrelevant.cpp
index f6fdcc676d..94adde1416 100644
--- a/src/library/compiler/comp_irrelevant.cpp
+++ b/src/library/compiler/comp_irrelevant.cpp
@@ -5,7 +5,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include "library/annotation.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/compiler_step_visitor.h"
 
 namespace lean {
diff --git a/src/library/compiler/elim_recursors.cpp b/src/library/compiler/elim_recursors.cpp
index ac6eb53c36..18f08982d6 100644
--- a/src/library/compiler/elim_recursors.cpp
+++ b/src/library/compiler/elim_recursors.cpp
@@ -12,7 +12,7 @@ Author: Leonardo de Moura
 #include "library/module.h"
 #include "library/util.h"
 #include "library/trace.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/procedure.h"
 #include "library/compiler/comp_irrelevant.h"
 #include "library/compiler/compiler_step_visitor.h"
diff --git a/src/library/compiler/erase_irrelevant.cpp b/src/library/compiler/erase_irrelevant.cpp
index a4bda2ef57..db5b88d2a6 100644
--- a/src/library/compiler/erase_irrelevant.cpp
+++ b/src/library/compiler/erase_irrelevant.cpp
@@ -10,7 +10,7 @@ Author: Leonardo de Moura
 #include "library/string.h"
 #include "library/constants.h"
 #include "library/aux_recursors.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/nat_value.h"
 #include "library/compiler/comp_irrelevant.h"
 #include "library/compiler/compiler_step_visitor.h"
diff --git a/src/library/compiler/eta_expansion.cpp b/src/library/compiler/eta_expansion.cpp
index 9fcb164a03..0a0eb6faa7 100644
--- a/src/library/compiler/eta_expansion.cpp
+++ b/src/library/compiler/eta_expansion.cpp
@@ -13,7 +13,7 @@ Author: Leonardo de Moura
 #include "library/projection.h"
 #include "library/aux_recursors.h"
 #include "library/sorry.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/compiler_step_visitor.h"
 #include "library/compiler/comp_irrelevant.h"
 #include "library/compiler/eta_expansion.h"
diff --git a/src/library/compiler/extract_values.cpp b/src/library/compiler/extract_values.cpp
index c6168ac876..70a8fe4bde 100644
--- a/src/library/compiler/extract_values.cpp
+++ b/src/library/compiler/extract_values.cpp
@@ -7,7 +7,7 @@ Author: Leonardo de Moura
 #include "kernel/replace_fn.h"
 #include "library/sorry.h"
 #include "library/equations_compiler/util.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/procedure.h"
 #include "library/compiler/compiler_step_visitor.h"
 
diff --git a/src/library/compiler/inliner.cpp b/src/library/compiler/inliner.cpp
index ba0108b8a3..ad417c10f9 100644
--- a/src/library/compiler/inliner.cpp
+++ b/src/library/compiler/inliner.cpp
@@ -10,7 +10,7 @@ Author: Leonardo de Moura
 #include "library/trace.h"
 #include "library/attribute_manager.h"
 #include "library/vm/vm.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/compiler_step_visitor.h"
 
 namespace lean {
diff --git a/src/library/compiler/lambda_lifting.cpp b/src/library/compiler/lambda_lifting.cpp
index 7bb42cef57..03d7f57727 100644
--- a/src/library/compiler/lambda_lifting.cpp
+++ b/src/library/compiler/lambda_lifting.cpp
@@ -13,7 +13,7 @@ Author: Leonardo de Moura
 #include "library/module.h"
 #include "library/vm/vm.h"
 #include "library/sorry.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/erase_irrelevant.h"
 #include "library/compiler/compiler_step_visitor.h"
 #include "library/compiler/procedure.h"
diff --git a/src/library/compiler/util.cpp b/src/library/compiler/old_util.cpp
similarity index 100%
rename from src/library/compiler/util.cpp
rename to src/library/compiler/old_util.cpp
diff --git a/src/library/compiler/util.h b/src/library/compiler/old_util.h
similarity index 100%
rename from src/library/compiler/util.h
rename to src/library/compiler/old_util.h
diff --git a/src/library/compiler/preprocess.cpp b/src/library/compiler/preprocess.cpp
index c441f70519..0a22226311 100644
--- a/src/library/compiler/preprocess.cpp
+++ b/src/library/compiler/preprocess.cpp
@@ -20,7 +20,7 @@ Author: Leonardo de Moura
 #include "library/context_cache.h"
 #include "library/module.h"
 #include "library/vm/vm.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/preprocess.h"
 #include "library/compiler/compiler_step_visitor.h"
 #include "library/compiler/comp_irrelevant.h"
diff --git a/src/library/compiler/simp_inductive.cpp b/src/library/compiler/simp_inductive.cpp
index 47a5377e07..8472bf390b 100644
--- a/src/library/compiler/simp_inductive.cpp
+++ b/src/library/compiler/simp_inductive.cpp
@@ -10,7 +10,7 @@ Author: Leonardo de Moura
 #include "library/projection.h"
 #include "library/constants.h"
 #include "library/vm/vm.h"
-#include "library/compiler/util.h"
+#include "library/compiler/old_util.h"
 #include "library/compiler/erase_irrelevant.h"
 #include "library/compiler/compiler_step_visitor.h"
 #include "library/compiler/procedure.h"