bug? writing to stdout from c