TBB 1.1.12 for linux includes outdated torbutton 1.2.5

TBB 1.1.12 for linux (i686 and x86_64 versions) contains torbutton 1.2.5.  Torbutton 1.4.0 appears to have been released on June 30th.