fetchurl: fix mirroring after ecf5a08831f18e3ae2fc857c70d60fc11f622dd6