fixed problem on startup ("datafile-xxx is not sealed") when server was killed during compaction