another try to make wget happy