This change was triggered by docker complaining about "Permission denied" when trying to write to /dev/stdout