set_mouse_sprite(3alleg) on Linux

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

set_mouse_sprite(3alleg) on Linux now