The text 29a2952ff5d8, as Debian 3.1 (Sarge) shipped it.
Produce a customized CDuce toplevel/compiler.
cduce_mktop(1) on Linux now
