quindi è un bug della tua versione di PHP?