fix property enforcement
Flush stdout after writeln (fixes issue #13241)
Only flush for DMC stdio.