let satmc = (path_avispa^"/bin/backends/satmc.bash" : string)