Fix an install error for getdns_extra.h