diff --git a/build.xml b/build.xml
index 1f4340a4d125cb9f5c9d14538de7d40019c014a1..501508a9eb81fa63185e2909c58228b6a386753f 100644
--- a/build.xml
+++ b/build.xml
@@ -115,7 +115,7 @@
         </manifest>
 
         <jar destfile="${dist.jar}" manifest="${dist.dir}/MANIFEST.MF">
-            <fileset dir="${build.dir}" />
+            <fileset dir="${build.plugin.funcheck.dir}" />
             <fileset file="./scalac-plugin.xml" />
         </jar>
 
@@ -124,8 +124,8 @@
     </target>
 
     <target name="compile-examples" depends="dist" description="compile the examples">
-        <mkdir dir="${build.examples.dir}"  />
-        <scalac srcdir="${examples.dir}" destdir="${build.examples.dir}" force="changed" addparams="${scalac.default.params}">
+        <mkdir dir="${build.examples.dir}" /> 
+        <scalac srcdir="${examples.dir}" destdir="${build.examples.dir}" force="changed" addparams="${scalac.funcheck.plugin}">
             <classpath>
             	<path refid="scala.lib.extension.path" />
             	<path refid="build.path" />
diff --git a/forall-tests.sh b/forall-tests.sh
index ad544b5f74934e0368c18c85ace65675e91c98cf..5ca87d2915c9d8c835b4db3fa7b216b09e78451e 100755
--- a/forall-tests.sh
+++ b/forall-tests.sh
@@ -61,9 +61,23 @@ echo
 shopt -s expand_aliases;
 
 
-alias scalac="./scalac-funcheck"
+alias scalac="./scalac-funcheck -cp lib/ScalaCheck-1.5.jar:bin/lib/:bin/scala  -d bin/examples"
+
+scalac examples/plugin/BST.scala
+scalac examples/plugin/LeftistHeap.scala
+scalac examples/plugin/ListSet.scala
+scalac examples/plugin/LambdaEvaluator.scala
+scalac examples/plugin/PropositionalLogic.scala
+scalac examples/plugin/SetRedBlackTree.scala
+scalac examples/plugin/ConsSnoc.scala
+
+scalac examples/plugin/kawaguchi_pldi2010/InsertSort.scala
+scalac examples/plugin/kawaguchi_pldi2010/MergeSort.scala
+scalac examples/plugin/kawaguchi_pldi2010/MergeSortBug.scala
+scalac examples/plugin/kawaguchi_pldi2010/QuickSort.scala
+scalac examples/plugin/kawaguchi_pldi2010/MapReduce.scala
+scalac examples/plugin/kawaguchi_pldi2010/SplayHeap.scala
 
-ant compile-examples
 
 # Scala compiler with the Funcheck plugin integrated
 #alias scalac="./scalac-funcheck"
@@ -78,25 +92,25 @@ echo "Running tests with forAll properties."
 echo "********************************************************************************"
 echo
 
-export CP="bin/:${SCALACHECK_JAR}:dist/funcheck-plugin.jar:bin/scala:bin/examples/:bin/lib"
+export CP="bin/:${SCALACHECK_JAR}:bin/scala:bin/examples/:bin/lib"
 alias scala="scala -cp ${CP}"
 
 
 # examples
-export BST="funcheck.BST"
-export LeftistHeap="funcheck.LeftistHeap"
-export ListSet="funcheck.ListSet"
-export LambdaEvaluator="funcheck.LambdaEvaluator"
-export PropositionalLogic="funcheck.PropositionalLogic"
-export SetRedBlackTree="funcheck.SetRedBlackTree"
-export ConsSnoc="funcheck.ConsSnoc"
-
-export InsertSort="funcheck.kawaguchi_pldi2010.InsertSort"
-export MergeSort="funcheck.kawaguchi_pldi2010.MergeSort"
-export MergeSortBug="funcheck.kawaguchi_pldi2010.MergeSortBug"
-export QuickSort="funcheck.kawaguchi_pldi2010.QuickSort"
-export MapReduce="funcheck.kawaguchi_pldi2010.MapReduce"
-export SplayHeap="funcheck.kawaguchi_pldi2010.SplayHeap"
+export BST="plugin.BST"
+export LeftistHeap="plugin.LeftistHeap"
+export ListSet="plugin.ListSet"
+export LambdaEvaluator="plugin.LambdaEvaluator"
+export PropositionalLogic="plugin.PropositionalLogic"
+export SetRedBlackTree="plugin.SetRedBlackTree"
+export ConsSnoc="plugin.ConsSnoc"
+
+export InsertSort="plugin.kawaguchi_pldi2010.InsertSort"
+export MergeSort="plugin.kawaguchi_pldi2010.MergeSort"
+export MergeSortBug="plugin.kawaguchi_pldi2010.MergeSortBug"
+export QuickSort="plugin.kawaguchi_pldi2010.QuickSort"
+export MapReduce="plugin.kawaguchi_pldi2010.MapReduce"
+export SplayHeap="plugin.kawaguchi_pldi2010.SplayHeap"
 
 echo " - Testing ${BST}"
 scala ${BST}