Use curl instead of wget, which is for some reason not working (at least on debian-tst)