A fix in mixins.cpp for buildbot.