Switch to echo() function so we can flush stdout.