Fix: Change Manager.addFile() logic. Filename and last modified time are
not enough to ID a file. Need to go back to use hash.