$prod non défini, vérifier config.php !