Nome file duplicato modificato quando caricato di nuovo con un nome diverso

Qualcuno ha mai visto questo? Quando carichiamo alcuni file, i nomi vengono modificati? Ecco un esempio.
Nome file: i2c_master_v1_0.vhd


Dopo il caricamento, però, appare diverso.

Abbiamo notato questo problema su alcuni file di recente.
Possiamo rinominarli manualmente, ma quando l’utente tenta di caricarli nuovamente, il nome non corrisponde alla modifica. Qui abbiamo modificato manualmente il nome in modo che venga visualizzato correttamente, tuttavia il file scaricato non corrisponde.

Ciò si verifica quando il file è stato caricato in precedenza con un nome diverso.