Fix lint_all.py.