--- sablevm/configure
+++ sablevm/configure
@@ -20098,7 +20098,7 @@
   echo ***ERROR: libpthread is missing; exit 1
 fi
 
-	    LIBSVMADD="$LIBSVMADD -lpthread"
+	    LIBSVMADD="$LIBSVMADD -lpthread"; SVMADD="$SVMADD -lpthread"
 	    ;;
 esac