Properly export symbols needed by plugins.