wget doesn't like https on win (#1378)