e65e4c8874
Now `ext` is appended to filename if real extension != expected extension.
Now `ext` is appended to filename if real extension != expected extension.