Using Linux with to access Internet via ISP's proxy server