Diff tor-0.4.8.7 with a tor-9999

Thank you!