Delete carriage return in eliom_pervasives