Ben: Beware that I have not tested this fix. On the other hand it is so simple it should not break anything. ;-) -- Strange clock behaviour on powerpc-smp https://launchpad.net/bugs/29420