--- configure.orig	2011-08-15 19:38:16.000000000 -0500
+++ configure	2011-08-15 19:38:16.000000000 -0500
@@ -2605,7 +2605,7 @@
 fi
 
 # VDE
-if [ "$OS" = "linux" -o "$OS" = "freebsd" ]; then
+if [ "$OS" = "linux" -o "$OS" = "freebsd" -o "$OS" = "darwin" ]; then
   if [ $WITH_VDE -eq 1 ]; then
     cnf_append "VBOX_WITH_VDE" "1"
   fi
--- include/VBox/VDEPlugSymDefs.h.orig	2011-08-15 19:38:16.000000000 -0500
+++ include/VBox/VDEPlugSymDefs.h	2011-08-15 19:38:16.000000000 -0500
@@ -43,7 +43,7 @@
 };
 
 /** The file name of the DBus library */
-#define VBOX_LIB_VDE_PLUG_NAME "libvdeplug.so"
+#define VBOX_LIB_VDE_PLUG_NAME "@PREFIX@/lib/libvdeplug.dylib"
 #define RT_RUNTIME_LOADER_LIB_NAME VBOX_LIB_VDE_PLUG_NAME
 
 /** The name of the loader function */