Fix the script introduced in #2: it was not handling properly the case of a deleted file. The management is done in the pre-commit script: the Python script does not perform any checks upon the file.