Emit also the name of the target file