filter out some files from the linter
lint snopt interface