redid executable