puoi provare a mettere /dev/input/mice al posto di /dev/psaux

se hai un mouse ps2 naturalmente