Avoid emiting a same file multiple times