flushing output on print_string