Configuration file for service.eliom