Use STDERR in main.php