For example wget can create compressed tar archives with this kind of name. Differential Revision: D1384