diff --git a/fmi2/vdmcheck/src/main/java/VDMCheck.java b/fmi2/vdmcheck/src/main/java/VDMCheck.java
index 7c2576b..2958b9e 100644
--- a/fmi2/vdmcheck/src/main/java/VDMCheck.java
+++ b/fmi2/vdmcheck/src/main/java/VDMCheck.java
@@ -250,7 +250,7 @@ private static boolean run(String filename, XMLFile tempXML, String vdmOUT)
 			File tempOUT = File.createTempFile("out", "tmp");
 			tempOUT.deleteOnExit();
 			
-			File schema = new File(jarLocation.getAbsolutePath() + File.separator + "schema/fmi2.xsd");
+			File schema = new File(jarLocation.getAbsolutePath() + File.separator + "fmi2schema/fmi2.xsd");
 			
 			int exit = runCommand(jarLocation, tempOUT,
 					"java", "-jar", "xsd2vdm.jar", 
@@ -265,7 +265,7 @@ private static boolean run(String filename, XMLFile tempXML, String vdmOUT)
 			runCommand(jarLocation, tempOUT,
 					"java", "-Xmx1g", "-cp", String.join(File.pathSeparator, dependencies), 
 					"com.fujitsu.vdmj.VDMJ", "-vdmsl", "-q", "-annotations",
-					"-e", "isValidFMIConfiguration(" + varName + ")", "model", tempVDM.getCanonicalPath());
+					"-e", "isValidFMIConfiguration(" + varName + ")", "fmi2model", tempVDM.getCanonicalPath());
 	
 			sed(tempOUT, System.out,
 					"^true$", "No errors found.",