cross_product(3alleg) on Linux

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

cross_product(3alleg) on Linux now