ggidev-le0_3(3) on Linux

The text 13f42ae74a7f, as Debian 4.0 (Etch) shipped it.

ggidev-le0_3(3) on Linux now