diff --git a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
index e473562c..b27e90b0 100644
--- a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
+++ b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
@@ -9,6 +9,7 @@
 import liquidjava.diagnostics.warnings.CustomWarning;
 import liquidjava.processor.RefinementProcessor;
 import liquidjava.processor.context.ContextHistory;
+import liquidjava.specification.Refinement;
 import spoon.Launcher;
 import spoon.compiler.Environment;
 import spoon.processing.ProcessingManager;
@@ -60,6 +61,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();