Ho provato a sostituire il php.ini con quello di un server di produzione e ora lo script funziona anche sulla macchina virtuale debian.
Ora dovrò capire quale può essere il parametro di configurazione che crea il problema.

Stefano