[sr-dev] git:master:0d83c02f: erlang: allow user to set ERLANG_xxxDIR