Bugfix : now deleted files can be reuploaded.