exec /usr/share/erl-matter/shell-erldp.py "$@"
