Ubuntu

Comment 6 for bug 878460

Hi Mathieu,

The workaround is valid also for the 32 bit version!

Many thanks