Use curl instead of wget to fetch erl.mk.