[sr-dev] git:5.0:d3a67fec: erlang: allow user to set ERLANG_xxxDIR