Fixa bug che rendeva inutilizzabile il comando con PHP 5.3