get_executable_name(3alleg) on Linux

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

get_executable_name(3alleg) on Linux now