#1: just preconfigure lint, don't run it by default