[tor-commits] [tor-browser] 01/04: Fixed a Firefox include problem