python3 tools/python/diff.py "$@"