Fix GZip file name conversion