Back to the old logic of Manager.addFile(): Use hash to identify file.