Fix lint_all.py