The text ec8e22f8cc64, as Debian 7 (Wheezy) shipped it.
Broadcasting facilities between clients and server
Eliom_bus.server(3o) on Linux now
