Escape compressed file name as it is directly supplied by the user