let ofmc = (path_avispa^"/bin/backends/ofmc/ofmc" : string)