Sì, ti posso confermare che con l'array $_FILES non risolvo, per esempio, questo problema: ho il file "FormattaMacchina.exe", lo rinomino in "AnnaKournikova.gif", da $_FILES['file']['type'] ricavo "image/gif".
Altre idee, anche con fopen()?