Marked Arduino IDE 1.5.7 as safe to use