You will need to apply this commit to your Arduino code base to solve your problem ( a release with this fix has not been made, yet ):
https://github.com/arduino/Arduino/commit/70351fc34150b1288079996839082e751b176821
Read this thread for all the details:
http://arduino.cc/forum/index.php/topic,129869.0.html
With the changes above, you should uninstall the driver, change back the .inf to original, then install the driver with the original .inf