Hmm, actually, if you use the latest version from the partner archive, 4.2.0.11-0ubuntu0.12.04.2, that now includes the workaround above.
Hmm, actually, if you use the latest version from the partner archive, 4.2.0.11- 0ubuntu0. 12.04.2, that now includes the workaround above.