diff --git a/Dockerfile b/Dockerfile
index da6afc8..8e56594 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -44,3 +44,4 @@ RUN wget https://github.com/gheber/kenzo/archive/master.zip \
 RUN mv /root/quicklisp/local-projects/kenzo-master /root/quicklisp/local-projects/kenzo 
 
 RUN sbcl --eval "(ql:quickload :kenzo)"
+RUN sbcl --eval "(require 'asdf)" --eval "(require 'kenzo)"
diff --git a/package.lisp b/package.lisp
index caa49bf..2743c15 100644
--- a/package.lisp
+++ b/package.lisp
@@ -11,6 +11,7 @@
            #:*BC*
            #:*BDD*
            #:*CMBN-CONTROL*
+           #:*CHCM-LIST*
            #:*DF-FD*
            #:*DG-GD*
            #:*FH*
@@ -20,6 +21,7 @@
            #:*ID-FG*
            #:*ID-GF-DH-HD*
            #:*LIST-LIST*
+           #:*MRPH-LIST*
            #:*RESULTS-VERBOSE*
            #:*TC*
            #:*TDD*