Fix opening tar archives whose name ends with a number
For example wget can create compressed tar archives with this kind of name.
Differential Revision: D1384