diff --git a/build.xml b/build.xml
index e10a64970f4d27bdcb89dbd7c2f1ce678f0ffb30..3c4a8625ccac73712211de197a8a9dcaa36cff45 100644
--- a/build.xml
+++ b/build.xml
@@ -124,9 +124,10 @@
     </target>
 
     <target name="compile-examples" depends="dist" description="compile the examples">
-        <mkdir dir="${build.examples.dir}" /> 
+        <mkdir dir="${build.examples.dir}" />    	
         <scalac srcdir="${examples.dir}" destdir="${build.examples.dir}" force="changed" 
-        	addparams="${scalac.funcheck.plugin}">
+        	addparams="${scalac.default.params}">
+        	<!-- addparams="${scalac.funcheck.plugin}" crashes for some unknown reason -->
             <classpath>
             	<path refid="scalac.class.path" />
             	<path refid="scala.lib.extension.path" />
diff --git a/forall-tests.sh b/forall-tests.sh
index 526212e101c41df2b446f496a3bc4d4d984b4a95..8307f621edff838c2596e2c1e7817531a63de12a 100755
--- a/forall-tests.sh
+++ b/forall-tests.sh
@@ -71,6 +71,7 @@ scalac examples/plugin/LambdaEvaluator.scala
 scalac examples/plugin/PropositionalLogic.scala
 scalac examples/plugin/SetRedBlackTree.scala
 scalac examples/plugin/ConsSnoc.scala
+scalac examples/plugin/SkewBinaryRandomAccessList.scala
 
 scalac examples/plugin/kawaguchi_pldi2010/InsertSort.scala
 scalac examples/plugin/kawaguchi_pldi2010/MergeSort.scala
@@ -105,6 +106,7 @@ export LambdaEvaluator="plugin.LambdaEvaluator"
 export PropositionalLogic="plugin.PropositionalLogic"
 export SetRedBlackTree="plugin.SetRedBlackTree"
 export ConsSnoc="plugin.ConsSnoc"
+export SkewList="plugin.SkewBinaryRandomAccessList"
 
 export InsertSort="plugin.kawaguchi_pldi2010.InsertSort"
 export MergeSort="plugin.kawaguchi_pldi2010.MergeSort"
@@ -113,6 +115,7 @@ export QuickSort="plugin.kawaguchi_pldi2010.QuickSort"
 export MapReduce="plugin.kawaguchi_pldi2010.MapReduce"
 export SplayHeap="plugin.kawaguchi_pldi2010.SplayHeap"
 
+
 echo " - Testing ${BST}"
 scala ${BST}
 
@@ -134,6 +137,9 @@ scala ${PropositionalLogic}
 echo " - Testing ${ConsSnoc}"
 scala ${ConsSnoc}
 
+echo " - Testing ${SkewList}"
+scala ${SkewList}
+
 echo " - Testing ${InsertSort}"
 scala ${InsertSort}