Arduino IDE 1.5 - known issues from 1.0.1 still not resolved