diff --git a/sudo.pp b/sudo.pp
index 0e08b129b..324412489 100644
--- a/sudo.pp
+++ b/sudo.pp
@@ -151,6 +151,7 @@ still allow people to get their work done."
 	$bindir/sudoedit    4111 root:
 	$sbindir/visudo     0111
 	$bindir/sudoreplay  0111
+	$includedir/sudo_plugin.h
 	$libexecdir/*
 	$sudoersdir/sudoers.d/	0750 $sudoers_uid:$sudoers_gid
 	$timedir/		0700 root: