- Add patch to add platform to ~/.eclipse's platform.xml. This maintains user-installed plugins but allows us to move arch-specific stuff into %%{_libdir}.