Gundo prefers python3.