[tor-commits] [tor/master] Changes files for tickets 5053 and 5055.