Comment 5 for bug 991132

Just to add some info: I installed two machines in parallel (work and home), both with Ubuntu 12.04, one 32bit and one 64bit. I installed mostly the same packages (just restoring my default list). This bug only occurs on the 64bit machine.