3 ms·

Thanks. I'm on 32-bit Ubuntu 13.04 but problem has presented itself for at least last several releases.