buildbot config for tux3