add missing symbol spotted by buildbot.