Dear all, During an upgrade, somehow I lost the /dev/gpmctl and the mouse no longer function in mc. I'd grateful to any pointer on how to restore it. Also where can I find the documentation "Linux Allocated Devices"? I guess there may be some relevant information. Regards, ST --