dejagnu rebuild