diff --git a/collects/deinprogramm/DMdA.rkt b/collects/deinprogramm/DMdA.rkt
index fe66dc6244..090bb03221 100644
--- a/collects/deinprogramm/DMdA.rkt
+++ b/collects/deinprogramm/DMdA.rkt
@@ -4,7 +4,7 @@
 
 (require test-engine/scheme-tests
 	 (lib "test-info.scm" "test-engine")
-	 (lib "scheme-tests.rkt" "test-engine")
+	 test-engine/scheme-tests
 	 scheme/class)
 
 (require deinprogramm/contract/module-begin