hotfix for Arduino IDE 1.5.7