[Dillo-dev] [patch]: more spring cleaning of configure.in