Have you tried version 2.0 of the IDE, currently in beta testing and available for download from Announcing the Arduino IDE 2.0 (beta) | Arduino Blog
Have you tried version 2.0 of the IDE, currently in beta testing and available for download from Announcing the Arduino IDE 2.0 (beta) | Arduino Blog