diff --git a/util/misc/tidy/actions.py b/util/misc/tidy/actions.py
index 0a83a362fa..1da43950dc 100644
--- a/util/misc/tidy/actions.py
+++ b/util/misc/tidy/actions.py
@@ -26,4 +26,7 @@ def install():
     cmaketools.rawInstall("DESTDIR=%s" % get.installDIR())
     
     shelltools.cd("..")
+    pisitools.insinto("/usr/include", "include/platform.h")
+    pisitools.insinto("/usr/include", "include/buffio.h")
+    
     pisitools.dodoc("README.md")