function erl {
    echo -ne "\033]0;erl\007"
    /usr/bin/erl "$@"
}