vacuum database before dumping it