The lint message doesn't have a file name, because the context is never
passed.  It's good enough for now to find this manually.