php-ZendOptimizerPlus: new snapshot