Is there some way to silence the following:

[WARNING] Interface topdirs.cmi occurs in several directories: ...

None of the warning flags seem to affect this.