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