Tune cpplint.pl