flashsim: don't color output by default