#6885: run python 3 as python3.
1 file changed