Update buildbot scripts and add 64-bit buildbot

Also fixes #1173