add IsolateDestPort for GNOME proxy in torrc