The right config.example.php