back to Bluespec-2014.05.beta1 to match buildbot
moved tools to a shared data volume