Little optimisation: we do not need all files to be emitted