[tor-commits] [user-manual/master] Fix build issue with get-tb-version