Fix demo build problem detected by buildbot.