Page store: compact the database file when closing (currently always completely, which may be slow).