Fix the filename and link to the dyninst tool