erlang/R17: update to 17.3