Another try to satisfy buildbot...
Yet another try to fix 32 bit buildbot