diff --git a/contrib/20.repl/repl.scm b/contrib/20.repl/repl.scm
index d839a7a7..2b9d4812 100644
--- a/contrib/20.repl/repl.scm
+++ b/contrib/20.repl/repl.scm
@@ -16,6 +16,23 @@
       (define (add-history str)
         #f))))
 
+  (eval
+   '(import (scheme base)
+            (scheme load)
+            (scheme process-context)
+            (scheme read)
+            (scheme write)
+            (scheme file)
+            (scheme inexact)
+            (scheme cxr)
+            (scheme lazy)
+            (scheme time)
+            (picrin macro)
+            (picrin dictionary)
+            (picrin array)
+            (picrin library))
+   '(picrin user))
+
   (define (repl)
     (let loop ((buf ""))
       (let ((line (readline (if (equal? buf "") "> " "* "))))
diff --git a/piclib/CMakeLists.txt b/piclib/CMakeLists.txt
index cca3236a..8da8ce80 100644
--- a/piclib/CMakeLists.txt
+++ b/piclib/CMakeLists.txt
@@ -7,6 +7,4 @@ list(APPEND PICLIB_SCHEME_LIBS
   ${PROJECT_SOURCE_DIR}/piclib/picrin/experimental/lambda.scm
   ${PROJECT_SOURCE_DIR}/piclib/picrin/syntax-rules.scm
   ${PROJECT_SOURCE_DIR}/piclib/picrin/test.scm
-
-  ${PROJECT_SOURCE_DIR}/piclib/picrin/user.scm
   )
diff --git a/piclib/picrin/user.scm b/piclib/picrin/user.scm
deleted file mode 100644
index fd1190ff..00000000
--- a/piclib/picrin/user.scm
+++ /dev/null
@@ -1,17 +0,0 @@
-;  the default repl environment
-
-(define-library (picrin user)
-  (import (scheme base)
-          (scheme load)
-          (scheme process-context)
-          (scheme read)
-          (scheme write)
-          (scheme file)
-          (scheme inexact)
-          (scheme cxr)
-          (scheme lazy)
-          (scheme time)
-          (picrin macro)
-          (picrin dictionary)
-          (picrin array)
-          (picrin library)))