Ho risolto.

Si trattava di un bug documentato, ma poco "reclamizzato".
In ogni caso si tratta di un problema di server web e non di php.