Properly restore iostream format flags

std::setiosflags only enables additional flags, but we might have to
disable some when restoring the original state. std::ios_base::flags
does what we need.