[tbb-commits] [tor-browser-bundle/master] Bug 13717: Make sure we use the bash on Linux