[tor-commits] [tor/master] fix 'make dist' which was broken by ticket 18365's merge