diff --git a/share/examples/ppi/Makefile b/share/examples/ppi/Makefile
index 1836d8abc17c..60ba1fa91d48 100644
--- a/share/examples/ppi/Makefile
+++ b/share/examples/ppi/Makefile
@@ -5,4 +5,8 @@
 PROG=	ppilcd
 NOMAN=	YES
 
+# XXX This should not be done in fact. The header files should
+# be copied to /usr/include/sys/dev/ppbus during make world
+CFLAGS += -I/sys/dev/ppbus
+
 .include <bsd.prog.mk>
diff --git a/sys/dev/ppbus/ppbconf.h b/sys/dev/ppbus/ppbconf.h
index 93fc886311b8..96b7b1bf15c9 100644
--- a/sys/dev/ppbus/ppbconf.h
+++ b/sys/dev/ppbus/ppbconf.h
@@ -250,6 +250,7 @@ struct ppb_data {
 	void *ppb_owner;	/* device which owns the bus */
 };
 
+#ifdef _KERNEL
 extern int ppb_attach_device(device_t);
 extern int ppb_request_bus(device_t, device_t, int);
 extern int ppb_release_bus(device_t, device_t);
@@ -263,6 +264,7 @@ extern int ppb_get_epp_protocol(device_t);
 extern int ppb_set_mode(device_t, int);		/* returns old mode */
 extern int ppb_get_mode(device_t);		/* returns current mode */
 extern int ppb_write(device_t, char *, int, int);
+#endif /* _KERNEL */
 
 /*
  * These are defined as macros for speedup.