Update configure.ac to add dyninst's stuff