David Bremner <david at tethera.net> writes: > This seems to fix problems with the symbol rename not being defined > at startup on at least OS/X and some Debian Linux architectures. pushed to release and master. d