Work around bad autodetect of remote file name by wget 1.12