Eliom_types_base.server(3o) on Linux

The text dde2093fb026, as Debian 7 (Wheezy) shipped it.

/*

Eliom_types_base.server(3o) on Linux now