Quasi mi vergogno...
Dopo le risposte ho rifatto una prova col solito file da 280 Kb, con max_file_size.txt contenente 307200, e lo script si è comportato come sempre, dunque: o è impazzito il php del mio computer o sono impazzito io. Sono impazzito io.
Il contenuto del file max_file_size.txt era 307200, 300Kb, io, avendo scritto metà dei codici una settimana fa, ero convinto che quel numero corrispondesse a 200Kb!
Ho cambiato 307200 con 204800 (200Kb) e tutto funziona come previsto anche col file da 280Kb.
Mi dispiace solo di avervi scomodato per una tale sciocchezza...