Make stderr AutoFlush by default in the DSL