A mouse server for the Linux console