diff --git a/Make b/Make
index f8fd3b0..6b9b567 100644
--- a/Make
+++ b/Make
@@ -1,10 +1,15 @@
 -R . Invert
+-I pprint/src/
 pprint/src/PPrintCombinators.ml  
 pprint/src/PPrintOCaml.ml
 pprint/src/PPrintEngine.ml
+pprint/src/PPrintEngine.mli
 pprint/src/PPrintRenderer.ml
 pprint/src/PPrint.ml
 pprint/src/PPrintTest.ml
 print.ml
 invert.ml4
 test.v
+
+-custom "" print.cmo invert.cmo
+-custom "" print.cmx invert.cmx
diff --git a/pprint/src/PPrint.ml.d b/pprint/src/PPrint.ml.d
deleted file mode 100644
index 6a5471d..0000000
--- a/pprint/src/PPrint.ml.d
+++ /dev/null
@@ -1,2 +0,0 @@
-pprint/src/PPrint.cmo :
-pprint/src/PPrint.cmx :
diff --git a/pprint/src/PPrintCombinators.ml.d b/pprint/src/PPrintCombinators.ml.d
deleted file mode 100644
index 01a5bca..0000000
--- a/pprint/src/PPrintCombinators.ml.d
+++ /dev/null
@@ -1,2 +0,0 @@
-pprint/src/PPrintCombinators.cmo : pprint/src/PPrintCombinators.cmi
-pprint/src/PPrintCombinators.cmx : pprint/src/PPrintCombinators.cmi
diff --git a/pprint/src/PPrintEngine.ml.d b/pprint/src/PPrintEngine.ml.d
deleted file mode 100644
index 9280257..0000000
--- a/pprint/src/PPrintEngine.ml.d
+++ /dev/null
@@ -1,2 +0,0 @@
-pprint/src/PPrintEngine.cmo : pprint/src/PPrintEngine.cmi
-pprint/src/PPrintEngine.cmx : pprint/src/PPrintEngine.cmi
diff --git a/pprint/src/PPrintOCaml.ml.d b/pprint/src/PPrintOCaml.ml.d
deleted file mode 100644
index 04b3a99..0000000
--- a/pprint/src/PPrintOCaml.ml.d
+++ /dev/null
@@ -1,2 +0,0 @@
-pprint/src/PPrintOCaml.cmo : pprint/src/PPrintOCaml.cmi
-pprint/src/PPrintOCaml.cmx : pprint/src/PPrintOCaml.cmi
diff --git a/pprint/src/PPrintRenderer.ml.d b/pprint/src/PPrintRenderer.ml.d
deleted file mode 100644
index 6a66a26..0000000
--- a/pprint/src/PPrintRenderer.ml.d
+++ /dev/null
@@ -1,2 +0,0 @@
-pprint/src/PPrintRenderer.cmo :
-pprint/src/PPrintRenderer.cmx :
diff --git a/pprint/src/PPrintTest.ml.d b/pprint/src/PPrintTest.ml.d
deleted file mode 100644
index a9e58c3..0000000
--- a/pprint/src/PPrintTest.ml.d
+++ /dev/null
@@ -1,2 +0,0 @@
-pprint/src/PPrintTest.cmo :
-pprint/src/PPrintTest.cmx :