A ps/2 mouse is /dev/psaux. So you should use that. I make a link /dev/mouse -> /dev/psaux ANd use /dev/mouse. That way if the device chnges (I get a serial), I just change the link. The M$ mouse option should work.