add IsolateDestPort to torrc for GNOME proxy