Bug #292910 - Don't mix print() and writemsg_stdout(), in order to avoid