Hi PeteX,
Yes, you have made the corrections properly. I am using the default nvdia-updates driver which ships with Ubuntu 12.04. Also, I am using bullet-2.80-rev2531, if that makes any difference. I will file a bug report with the Bullet developers.