unzip.pl: handle 'file name too long'