repair database by command line