run_erl(1) on Linux

The text 573fd68c4f62, as Debian 12 (Bookworm) shipped it.

Redirect Erlang input and output streams on Unix systems.

run_erl(1) on Linux now