Issue #152: finally get txsocksx name right...