Just for the record: the (now public) bug report for this issue in Ubuntu 12.04 is bug #943195 -- discussion should continue there.
Just for the record: the (now public) bug report for this issue in Ubuntu 12.04 is bug #943195 -- discussion should continue there.