Compatibility with newest libamd; name change to amdtools