work around wget bug #16