diff --git a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
index 38fe5d0c..621e8c2b 100644
--- a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
+++ b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
@@ -8,6 +8,7 @@
 import liquidjava.diagnostics.warnings.CustomWarning;
 import liquidjava.processor.RefinementProcessor;
 import liquidjava.processor.context.ContextHistory;
+import liquidjava.specification.Refinement;
 import picocli.CommandLine;
 import spoon.Launcher;
 import spoon.compiler.Environment;
@@ -66,6 +67,9 @@ public static void launch(String... paths) {
 
         Environment env = launcher.getEnvironment();
         env.setNoClasspath(true);
+        env.setSourceClasspath(
+                new String[] { new File(Refinement.class.getProtectionDomain().getCodeSource().getLocation().getFile())
+                        .getAbsolutePath() });
         env.setComplianceLevel(8);
 
         boolean buildSuccess = launcher.getModelBuilder().build();