The text fef0bbd60c41, as Debian 10 (Buster) shipped it.
Redirect Erlang input and output streams on Unix systems.
run_erl(1) on Linux now
