File 0003-Pass-executable-path-into-main-when-running-installe.patch of Package mypy

--- mypy-0.710/mypy/__main__.py	2019-06-20 00:48:48.000000000 +0200
+++ mypy-0.710/mypy/__main1__.py	2019-06-20 17:26:37.526021970 +0200
@@ -5,7 +5,7 @@
 
 
 def console_entry() -> None:
-    main(None, sys.stdout, sys.stderr)
+    main(sys.argv[0], sys.stdout, sys.stderr)
 
 
 if __name__ == '__main__':