Update dist_erlang.erl