Handle the case of unloaded original file (see #10347)