[Bug #1575506] The _singlefileMailbox class was using the wrong file object in its flush() method, causing an error