ubuntu 12.10 and nvidia drivers