The text 4ecbda6bb27d, as Debian 7 (Wheezy) shipped it.
Similar to Actions with `NoReload option.
Eliom_registration.Unit.server(3o) on Linux now
