misc/proxy-setup: sourcing /etc/profile after writing proxy conf on it