Fix GZipped file name conversion