On the M-theory description of gaugino condensation