for CMD_DISC_FORMAT, dont rm pushroot files before really format