emit the manifest filename and time as well
manifest should not abbreviate file names