bugfix for 3.1.4
bugfix for pacproxy
refine proxy.ini