Fix platform files so trunk tarball can build