Fix wget command for retrieving the repo file