[galaxy-commits] galaxy-dist commit c22562b86d0f: Make the production buildbot use Main's tool conf