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