Fix bug in Ubuntu SOCKS config