GitLab

Platform specific header files get installed.  This allows plugins to be built with just an OpenMM installation, not a full source tree.