  dnl
  dnl Configure DPDK source tree
 diff --git a/configure.ac b/configure.ac
-index e6a23a6..8ff2397 100644
+index e6a23a692..8ff23972d 100644
 --- a/configure.ac
 +++ b/configure.ac
 @@ -164,6 +164,7 @@ AC_ARG_VAR(KARCH, [Kernel Architecture String])

 
 	return len;
diff --git a/datapath/vport-vxlan.c b/datapath/vport-vxlan.c
index eff7ca2..87d087c 100644
--- a/datapath/vport-vxlan.c
+++ b/datapath/vport-vxlan.c
@@ -43,6 +43,9 @@

+int ovs_vale_ctl(const char *, int, int);
+int ovs_vale_send(struct net_device *, struct sk_buff *skb);
diff --git a/datapath/linux/Kbuild.in b/datapath/linux/Kbuild.in
index 9e3259f19..c5ab75a81 100644
--- a/datapath/linux/Kbuild.in
+++ b/datapath/linux/Kbuild.in
@@ -13,6 +13,13 @@ ccflags-y += -I$(builddir)/..
