A potential fix of compilation under buildbot.