Install platform specific header files, so plugins can be built without needing a full source tree