2009/7/1 Tony Morris <tonymorris at gmail.com>: > I started having that problem when changing from 32 to 64-bit linux. I'm > going back to 32-bit when I get the next chance for this reason and > more. Though I haven't had the problem for a while now. FWIW, I've always been using 32-bit. -- Deniz Dogan