Small fix : actual file deletion. See previous commit.