If you're giving it the source of two specific files, is this needed? Can you explain why it requires us to tell them don't lint these files?