added target filename for the curl that downloads Erlang