Fixed a missing include in output-stdout.c