[tor-commits] [tor/master] Fix: our directory.c code expects header constants to end with a :