This issue might be related to Cannot run sketch from Arduino IDE - adafruit industries, version 1.1.3 is also few versions behind adafruit branch
This issue might be related to Cannot run sketch from Arduino IDE - adafruit industries, version 1.1.3 is also few versions behind adafruit branch