Avoid duplicate stdio output from children
    
    Flush stdio buffers before we fork so that children don't end up logging
    duplicate information.  From report by Navaneet Kumar.