Place platform files here.  These are the libraries and headers for a given
platform.  They can be collected using the included "collect-platform" script.
