accidently checked in the change to an ofstream which breaks on linux