fixed bugs in ExtORPort. it now connects to tor 0.2.5