I'm looking for a new wireless mouse for my laptop, one that will work with windows and linux. Do the Bluetooth wireless mice need a driver in linux and in windows?