Indicate in which file a compilation error occurs
Avoid spurious collection pollution causing errors