diff --git a/build.xml b/build.xml
index 501508a9eb81fa63185e2909c58228b6a386753f..e10a64970f4d27bdcb89dbd7c2f1ce678f0ffb30 100644
--- a/build.xml
+++ b/build.xml
@@ -125,10 +125,12 @@
 
     <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.funcheck.plugin}">
+        <scalac srcdir="${examples.dir}" destdir="${build.examples.dir}" force="changed" 
+        	addparams="${scalac.funcheck.plugin}">
             <classpath>
+            	<path refid="scalac.class.path" />
             	<path refid="scala.lib.extension.path" />
-            	<path refid="build.path" />
+            	<path refid="funcheck.lib.path" />
             	<path refid="scalacheck.lib.path" />
             </classpath>
         </scalac>
diff --git a/forall-tests.sh b/forall-tests.sh
index 5ca87d2915c9d8c835b4db3fa7b216b09e78451e..526212e101c41df2b446f496a3bc4d4d984b4a95 100755
--- a/forall-tests.sh
+++ b/forall-tests.sh
@@ -56,6 +56,7 @@ echo "Compile tests that have declared forAll properties."
 echo "********************************************************************************"
 echo
 
+mkdir bin/examples
 
 #This is needed for aliases to work correctly
 shopt -s expand_aliases;