Helpful batch files for use with corporate firewalls