[tor-commits] [tor/master] Fix compilation error left over from 1cbf45bed1. (Bug 7021)