Index: rumpkernel-0~20150715/buildrump.sh/src/sys/rump/dev/lib/libpci/Makefile
===================================================================
--- rumpkernel-0~20150715.orig/buildrump.sh/src/sys/rump/dev/lib/libpci/Makefile
+++ rumpkernel-0~20150715/buildrump.sh/src/sys/rump/dev/lib/libpci/Makefile
@@ -41,6 +41,8 @@ CPPFLAGS+=		${RUMPCOMP_CPPFLAGS.rumpdev_
 # XXX: messy
 .undef RUMPKERN_ONLY
 
+.include "${RUMPCOMP_MAKEFILEINC.rumpdev_pci}"
+
 .include "${RUMPTOP}/Makefile.rump"
 .include <bsd.lib.mk>
 .include <bsd.klinks.mk>