Più probabile che sia 12345~1.xxx

Forse che il sistema operativo del PC di destinazione è "vecchio"? Tipo Windows 95 o precedente, in cui i nomi dei files dovevano avere al massimo 8 caratteri + 3 di estensione?

Prova a fare un DIR /X sulla directory di origine e verifica che il nome del file breve corrisponda.

Ciao.