Actually I confused the package versions on two different servers -- looks like 3.10_1 would have worked no matter what; it was just fixed more cleanly. Sorry for the noise!