Added flush when printing to standard output.

2009-12-16, tkragelj