no need to close fstreams - these are proper RAII objects