qualified output file names

uses qualified names for files, supporting sources with same handles