installation_proxy.py: first import