MENU_PLAYER(3alleg) on Linux

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

MENU_PLAYER(3alleg) on Linux now