added verbose printing of file names