Add forgotten renaming in mitmproxy.py.