set_window_title(3alleg) on Linux

The text 153493fa5f5c, as Debian 3.1 (Sarge) shipped it.

set_window_title(3alleg) on Linux now