diff --git a/mk_make.py b/mk_make.py
index 2896f6828..723fe4027 100644
--- a/mk_make.py
+++ b/mk_make.py
@@ -51,7 +51,7 @@ add_lib('proof_checker', ['rewriter', 'spc'])
 add_lib('bit_blaster', ['rewriter', 'simplifier', 'old_params', 'framework', 'assertion_set'])
 add_lib('smt', ['assertion_set', 'bit_blaster', 'macros', 'normal_forms', 'framework', 
                 'substitution', 'grobner', 'euclid', 'proof_checker', 'pattern', 'parser_util'])
-add_lib('user_ext', ['smt'])
+add_lib('user_plugin', ['smt'])
 add_lib('core_tactics', ['framework', 'normal_forms'])
 add_lib('arith_tactics', ['core_tactics', 'assertion_set'])
 add_lib('sat_tactic', ['framework', 'sat'])
diff --git a/src/user_ext/user_decl_plugin.cpp b/src/user_plugin/user_decl_plugin.cpp
similarity index 100%
rename from src/user_ext/user_decl_plugin.cpp
rename to src/user_plugin/user_decl_plugin.cpp
diff --git a/src/user_ext/user_decl_plugin.h b/src/user_plugin/user_decl_plugin.h
similarity index 100%
rename from src/user_ext/user_decl_plugin.h
rename to src/user_plugin/user_decl_plugin.h
diff --git a/src/user_ext/user_simplifier_plugin.cpp b/src/user_plugin/user_simplifier_plugin.cpp
similarity index 100%
rename from src/user_ext/user_simplifier_plugin.cpp
rename to src/user_plugin/user_simplifier_plugin.cpp
diff --git a/src/user_ext/user_simplifier_plugin.h b/src/user_plugin/user_simplifier_plugin.h
similarity index 100%
rename from src/user_ext/user_simplifier_plugin.h
rename to src/user_plugin/user_simplifier_plugin.h
diff --git a/src/user_ext/user_smt_theory.cpp b/src/user_plugin/user_smt_theory.cpp
similarity index 100%
rename from src/user_ext/user_smt_theory.cpp
rename to src/user_plugin/user_smt_theory.cpp
diff --git a/src/user_ext/user_smt_theory.h b/src/user_plugin/user_smt_theory.h
similarity index 100%
rename from src/user_ext/user_smt_theory.h
rename to src/user_plugin/user_smt_theory.h