Merge "repo: use explicit Python executable to run main.py"