Update merged-mine-proxy.py