Select now takes 'required' optional parameter, in track with latest Eliom update