add a *mute-stdout* flag