I've given a proof of the exactness of the Birman exact sequence of groups: $1\to\pi_1(S_{g,r}^s)\to MCG(S_{g,r}^{s+1})\overset{\lambda}{\to} MCG(S_{g,r}^s)\to 1$ making use of classifying spaces solely. Shortly, I looked at the induced map $\lambda_\ast$ between moduli spaces, observing that the fiber should be a surface of type $S_{g,r}^s$, as "naively" one can see that it corresponds to the surface where "the removed cusp could have been". This bundle of classifying spaces induces again the starting sequence in homotopy, and the proof is complete.
Unfortunately, I've used that the moduli spaces are $K(Mod(S_{g,r}^s),1)$, whereas that's not true, in general. Do you think I can correct the proof somehow? Of course a sufficient condition would be having a free $MCG(S)$-action, but it is false for general values of $s$, $g$ and $r$.
Could I say anything, for example, assuming that $s$ is positive? What are the conditions needed to guarantee that the mapping class group is torsion-free?