Improve -thread with compilation of eliom